Type Family
型族
型族とは型の族のこと
hsの話は
TypeFamilies
に書いている
とはいえ、hsに依存しない一般的なType Familyの方をあまり知らないので、その線引はかなり雑